√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

axiomatic semantics中文什么意思

發(fā)音:   用"axiomatic semantics"造句
  • 公理化語義
  • 公理語義學(xué)
  • axiomatic:    adj. 1.公理的,自明的。 2.格言(多)的。 ad ...
  • semantics:    n. 1.【語言學(xué)】語義學(xué)。 2.【哲學(xué)】語義哲學(xué);語義 ...
  • axiomatic semantics approach:    公理語義學(xué)方法
  • axiomatic:    adj. 1.公理的,自明的。 2.格言(多)的。 adv. -ically 照公理,公理上,自明地。 n. -ics 公理體系[系統(tǒng)];公理學(xué)。
  • semantics:    n. 1.【語言學(xué)】語義學(xué)。 2.【哲學(xué)】語義哲學(xué);語義學(xué)派。
下載手機(jī)詞典可隨時隨地查詞查翻譯

百科釋義

    Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.
    詳細(xì)百科解釋

相關(guān)詞匯

其他語言

相鄰詞匯

  1. axiomatic program model 什么意思
  2. axiomatic proof 什么意思
  3. axiomatic proof rule 什么意思
  4. axiomatic quantum field theory 什么意思
  5. axiomatic quantum theory 什么意思
  6. axiomatic semantics approach 什么意思
  7. axiomatic set theory 什么意思
  8. axiomatic smatrix theory 什么意思
  9. axiomatic specification 什么意思
  10. axiomatic system 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.